Neil Mitchell - PDFSEARCH.IO - Document Search Engine

Neil Mitchell
Results: 50

#	Item
11	Fastest Lambda First λ Neil Mitchell www.cs.york.ac.uk/~ndm/ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Programming language theory Compiler optimizations Functional languages Inline expansion Subroutines Haskell Entry point
12	Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may apply) Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Data types Software engineering Computing Computer programming Functional programming Type class Type theory Haskell features Boolean data type
13	Hoogλe Finding Functions from Types Neil Mitchell haskell.org/hoogle community.haskell.org/~ndm/ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computing Computer programming Data types Functional languages Primitive types Functional programming Edit distance String Haskell Id Boolean data type
14	Faster Haskell Neil Mitchell www.cs.york.ac.uk/~ndm The Goal • Make Haskell “faster” Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Haskell Literate programming Fold Map Inline expansion Write
15	Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Computing Functional languages Functional programming Object-oriented programming languages Scripting languages Type theory Haskell Cabal Monad Type class
16	First Order Haskell Neil Mitchell York University www.cs.york.ac.uk/~ndm λ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold Oz Monad Map XS Haskell features
17	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
18	Hat: Windows and WIMP Neil Mitchell Progress Updates I have:  Ported the Hat tools to Windows Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09
19	Transformation and Analysis of Functional Programs Neil Mitchell Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Subroutines Programming paradigms Functional languages Generic programming Inline expansion Mathematical optimization Recursion Haskell Comparison of C Sharp and Java Functional programming
20	Yhc: Past, Present, Future Neil Mitchell The Past • Started by Tom, fork of nhc Add to Reading List Source URL: community.haskell.org - Date: 2013-10-12 04:58:09

UPDATE